#include <iostream>
#include "pi.h"

int main ()
{
  foo();
  std::cout << Pi<1000>::value() << std::endl;
}
